<html>
<body>
<span>
  此意图将布尔比较表达式 <code>not(a negop b)</code> 转换为 <code>a op b</code>。
  其中 <code>op</code> 和 <code>negop</code> 为互逆比较运算符，如 <code>==</code> 和 <code>!=</code>。
</span>
</body>
</html>